/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package ucmconfchecker.conformance;

import java.util.Collection;
import java.util.Date;
import java.util.Iterator;

/**
 *
 * @author Administrador
 */
public interface EventTrace<T> extends Iterable<Event<T>>, Collection<Event<T>> {


   @Override
   public Iterator<Event<T>> iterator();
   
   public Date getTimeStart();
   public Date getTimeFinish();
   public Long getTimeLength();
   
   public String getName();
   
}
